SIAM J. SCI. COMPUT. Vol. 34, No. 4, pp. C170–C191 2012 Society for Industrial and Applied Mathematics PARALLEL SPARSE MATRIX-MATRIX MULTIPLICATION AND

Source URL: gauss.cs.ucsb.edu

• Sparse matrices
• Matrices
• Matrix theory
• Numerical linear algebra
• Multiplication
• Matrix
• Sparse matrix
• Logical matrix
• Band matrix
• Array programming
• Rank
• Square matrix

Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Model theory
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• First-order logic
• Linear temporal logic
• FO

Noname manuscript No. (will be inserted by the editor) Extended Formulations in Mixed Integer Conic Quadratic Programming Juan Pablo Vielma, Iain Dunning, Joey Huchette and Miles

Source URL: web.mit.edu

• Operations research
• Combinatorial optimization
• Approximations
• Mathematical optimization
• Relaxation
• Linear programming relaxation
• Linear programming
• Integer programming
• Approximation algorithm
• Constructible universe

PDF Document

Source URL: www.zib.de

• Mathematical optimization
• Numerical analysis
• Operations research
• Combinatorial optimization
• Mathematics
• NP-complete problems
• Numerical software
• Column generation
• Linear programming
• SCIP
• Branch and bound
• DantzigWolfe decomposition

PDF Document

Source URL: gauss.cs.ucsb.edu

• Mathematics
• Algebra
• Operations research
• Parallel computing
• Numerical linear algebra
• Matrix multiplication algorithm
• Shortest path problem
• Matrix multiplication
• FloydWarshall algorithm
• Algorithm
• Dynamic programming
• Linear programming

Optimization Methods and Software, Vol.11&12, pp, 1999 User’s Guide to LIPSOL Linear-programming Interior Point Solvers v0.4 ∗ Yin Zhang Department of Computational and Applied Mathematics

Source URL: www.caam.rice.edu

Hybrid Zero Dynamics based Multiple Shooting Optimization with Applications to Robotic Walking Ayonga Hereid1 , Christian M. Hubicki2 , Eric A. Cousineau1 , Jonathan W. Hurst2 and Aaron D. Ames1 Abstract— Hybrid zero d

Source URL: www.bipedalrobotics.com

• Mathematical analysis
• Classical mechanics
• Robot control
• Optimal control
• Quadratic programming
• Robot locomotion
• Trajectory optimization
• Action
• Linear programming
• Mathematical optimization
• Operations research
• Physics

R Multidimensional arrays in SAS/IML Software Michael Friendly York University

Source URL: www.datavis.ca

• Arrays
• Data structures
• Linear algebra
• Data analysis
• Business intelligence
• SAS
• Contingency table
• Array data structure
• Array data type
• Computing
• Algebra
• Computer programming

Physical Modeling in MATLAB® Allen B. Downey Version 1.1.6 ii

Source URL: www.greenteapress.com

• Numerical linear algebra
• Array programming languages
• MATLAB
• Linear algebra
• Matrix
• Vector space
• C
• R
• Algebra
• Software
• Mathematics